symbolic logic 【數學】符號邏輯，數理邏輯。
【數學】符號邏輯，數理邏輯。 “symbolic“ 中文翻譯： adj. 記號的，符號的；象征的。 “logic“ 中文翻譯： n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...“journal of symbolic logic“ 中文翻譯： 符號邏輯學報“model of symbolic logic“ 中文翻譯： 符號邏輯模型“the symbolic“ 中文翻譯： 象徵界“-logic“ 中文翻譯： -logic, -logical 〔構成與 -logy 結尾的名詞相應的形容詞〕表示“…學的”： biological, philological. “and logic“ 中文翻譯： “與”邏輯“logic“ 中文翻譯： n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。 “logic-and“ 中文翻譯： 邏輯“與”“or logic“ 中文翻譯： 或邏輯“acta symbolic“ 中文翻譯： 符號學報“address symbolic“ 中文翻譯： 符號位址“addressing, symbolic“ 中文翻譯： 符號尋址“assembler symbolic“ 中文翻譯： 符號組合器“assembly symbolic“ 中文翻譯： 符號組合“debugger, symbolic“ 中文翻譯： 符號除錯器“expression symbolic“ 中文翻譯： 符號表式“reasoning, symbolic“ 中文翻譯： 符號推論法“s symbolic model“ 中文翻譯： 布魯納象征性模式“symbolic address“ 中文翻譯： 【電腦】符號地址。 “symbolic addressing“ 中文翻譯： 符號編址; 符號地址法; 符號選址; 符號尋址“symbolic algebra“ 中文翻譯： 符號代數“symbolic algorithm“ 中文翻譯： 符號算法“symbolic algorithms“ 中文翻譯： 符號算法“symbolic analogy“ 中文翻譯： 符號類推法
symbolics |
|
As a new branch of logic , semi - symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system , which is both rigorous and easily to understand 摘要半符號邏輯是一種新的邏輯分支，它試圖突破傳統和現代邏輯的局限性，建立一種既嚴格又易于掌握的邏輯體系。 |
|
Toshio umezawa . on logics intermediate between intuitionistic and classical predicate logic . journal of symbolic logic , 24 ( 2 ) : 141 ? 153 , june 1959 中間邏輯是一個與邏輯學相關的小作品。你可以通過編輯或修訂擴充其內容。 |
|
This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization 論文詳細討論了低功耗有限狀態機綜合與優化中的符號邏輯和一些典型方法。 |
|
I am taking introductory guitar course right now and i will have another symbolic logic course starting on 5 / 28 我現在在上吉他入門課，從5 / 28開始還會有一門符號邏輯學的課。 |
|
George boole was an english mathematician who helped establish the field of mathematics called symbolic logic 喬治布爾是一名曾幫助建立數學鄰域中邏輯符號的英國數學家。 |
|
In fact , the debate is caused by logic view , i . e . traditional logical and modern symbolic logic 有人稱其無，有人說其有，還有歸納派和演繹派的形同水火。 |